机译:验证概念级IMA系统资源充分性的抽象模型
机译:实时自动寄存器抽象有源电源感知电子系统级验证框架
机译:基于多Agent的大学信息管理系统的需求分析,架构设计和形式验证
机译:自动验证使用抽象的多代理系统资源要求的资源要求
机译:使用基于SAT的重新参数化和自动抽象提炼对大型工业电路进行验证。
机译:医疗保健中的计算机应用。医院中的计算机系统。支持资源分配和利用的系统:美国海军医疗设施的自动医疗资源分配和计划系统(MEDRAPS)
机译:通过针对aTLK规范的谓词抽象验证多代理系统